Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
نویسندگان
چکیده
منابع مشابه
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells. It has been widely applied in various areas, such as gene injection, in-vitro fertilization (IVF), intracytoplasmic sperm injection (ISCI) and drug development. However, the existing manual and semi-automated cell injection systems ...
متن کاملTowards a Formal Verification Methodology for Collective Robotic Systems
We present a novel formal verification approach for collective robotic systems that is based on the use of the formal language Klaim and related analysis tools. While existing approaches focus on either microor macroscopic views of a system, we model aspects of both the robot hardware and behaviour, as well as relevant aspects of the environment. We illustrate our approach through a robotics sc...
متن کاملTowards Two-Level Formal Modeling of Computer-Based Systems
Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly coupled to their environments and this requires an integrated view that encompasses both the information system and its physical surroundings. Therefore, mathematical analysis of these systems necessitates formal model...
متن کاملTowards Formal Modeling and Verification of Context-Aware Systems
Taha Abdelmoutaleb Cherfia LIRE Laboratory Software Technologies and Information Systems Department, Constantine 2 University Algeria [email protected] Faïza Belala LIRE Laboratory Software Technologies and Information Systems Department, Constantine 2 University Algeria [email protected] Kamel Barkaoui Laboratoire CEDRIC Conservatoire Nationale des Arts et Métier...
متن کاملVisualized and Abstract Formal Modeling Towards The Multi-Agent Systems
Multi-agent systems technology has generated lots of incitements, because of it used for distributed, intelligent and safety critical system. The failure of some system may cause the loss of human life, severe injuries, loss of money and environmental damages. To get the robust, safe and reliable multi-agent system it requires formal modeling and step by step refinement for its construction and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.244.11